Maximum satisfiability problem - PDFSEARCH.IO - Document Search Engine

Maximum satisfiability problem
Results: 26

#	Item
11	WWW 2009 MADRID! Track: Semantic/Data Web / Session: Linked Data SOFIE: A Self-Organizing Framework for Information Extraction Add to Reading List Source URL: www2009.org Language: English - Date: 2009-03-19 16:33:39 Theoretical computer science Mathematics Software engineering Logic in computer science Ontology Information science Knowledge representation Technical communication Maximum satisfiability problem Boolean satisfiability problem YAGO Prolog
12	BRICS DS-04-5 B. Skjernaa: Exact Algorithms for Variants of Satisfiability and Colouring Problems BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-04-05 15:07:30 NP-complete problems Boolean satisfiability problem NP-complete Satisfiability Maximum cut Algorithm Graph coloring 2-satisfiability Theoretical computer science Mathematics Applied mathematics
13	Near-Optimal Algorithms for Maximum Constraint Satisfaction Problems Moses Charikar∗ Konstantin Makarychev∗† Add to Reading List Source URL: konstantin.makarychev.net Language: English - Date: 2014-06-08 22:16:07 Operations research NP-complete problems Linear programming Real algebraic geometry Semidefinite programming 2-satisfiability Mathematical optimization Constraint satisfaction problem Constraint satisfaction Theoretical computer science Applied mathematics Computational complexity theory
14	Relaxed Survey Propagation: A Sum-Product Algorithm for Max-SAT Hai Leong Chieu Wee Sun Lee Singapore MIT Alliance Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2008-11-06 22:58:52 Applied mathematics Logic in computer science Maximum satisfiability problem MAX-3SAT Belief propagation Conjunctive normal form Local search WalkSAT Local consistency Theoretical computer science Constraint programming Mathematics
15	Marijn J.H. Heule December 21, 2014 Personal Information Name: Born: Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2014-12-21 16:31:34 Logic in computer science Boolean algebra Constraint programming Electronic design automation Formal methods Boolean satisfiability problem Maximum satisfiability problem Satisfiability Solver Theoretical computer science Mathematics Applied mathematics
16	L:/Documents and Settings/Administrator/My Documents/Reseach/Gecco 2008 Abstract/t07pap188-qasem.dvi Add to Reading List Source URL: eprints.soton.ac.uk Language: English - Date: 2009-12-08 14:52:22 Logic in computer science Constraint programming Operations research Boolean algebra Boolean satisfiability problem Electronic design automation Maximum satisfiability problem Local search Stochastic optimization Theoretical computer science Applied mathematics Mathematics
17	Using SAT-Solvers to Compute Inference-Proof Database Instances (Abstract Version) Cornelia Tadros and Lena Wiese Technische Universitat Dortmund, 44221 Dortmund, Germany {tadros,wiese}@ls6.cs.uni-dortmund.de Add to Reading List Source URL: wiese.free.fr Language: English - Date: 2009-06-22 13:18:06 Logic in computer science Boolean algebra Propositional calculus Operations research Combinatorial optimization Maximum satisfiability problem Interpretation Mathematical optimization Solver Mathematics Theoretical computer science Mathematical logic
18	Improving Parallel Local Search for SAT Alejandro Arbelaez1 , Youssef Hamadi2,3 1 Microsoft-INRIA joint-lab, Orsay France [removed] Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-12-07 07:14:51 Constraint programming Logic in computer science WalkSAT Boolean satisfiability problem Local search Algorithm DPLL algorithm Maximum satisfiability problem Search algorithm Theoretical computer science Applied mathematics Mathematics
19	Chapter 5: Random Sampling and Randomized Rounding of Linear Programs (cp. Williamson & Shmoys, Chapter 5) Add to Reading List Source URL: www.coga.tu-berlin.de Language: English - Date: 2012-11-28 07:15:06 NP-complete problems Combinatorial optimization Analysis of algorithms Logic in computer science Time complexity Boolean satisfiability problem Randomized algorithm Algorithm Maximum satisfiability problem Theoretical computer science Applied mathematics Computational complexity theory
20	Cause Clue Clauses: Error Localization using Maximum Satisfiability ∗ Manu Jose Rupak Majumdar Add to Reading List Source URL: bugassist.mpi-sws.org Language: English - Date: 2011-03-24 00:18:44 Logic in computer science Boolean satisfiability problem Maximum satisfiability problem Unsatisfiable core Software bug Conjunctive normal form Debugging Assertion Algorithm Theoretical computer science Applied mathematics Mathematics

UPDATE